On the formalization of mathematical structures in Automath via type telescopes:
Jeffery Zucker, Formalization of Classical Mathematics in Automath, Colloques Internationaux du Centre National de la Recherche Scientifique 249 (1975) 135-145 [web, pdf]
also in: Studies in Logic and the Foundations of Mathematics 133 (1994) 127-139 [doi:10.1016/S0049-237X(08)70202-7]
Created on January 26, 2023 at 11:06:08. See the history of this page for a list of all contributions to it.